type Foo = number
